This Hidden Tip Will Rewrite Sound Principles of Dinosaur Typing Forever