Happy (Extended Version)