Life is fun (Extended Version)