Electric typewriter. Jack hammer price.

The wandering earth classic science fiction collection. 10 examples of proving identities.