[Michlib-l] Have a rained-out clause in a program contract?