do something at one's leisure