Play is productivity, too.