Happy Children

Happy Children (Extended Version)