Happy’s Logic: Work?