Outside, a group of people play soccer in the pool, with happy music, unparalleled joy.