On Logic of the Hammer