I guess if the boulder’s happy, Sisyphus doesn’t need to be.