. "Gravity is a Push, US patent number 5,377,936:" . . .