work consists of whatever a body is obliged to do, and that play consists of whatever a body is not obliged to do