Happy’s Logic