punching the cat to Punch the Devil