Contract: Close | Pay | If | When | Let | Assert

TODO: Comment