Contracts (Types of contracts, mailbox rule, condition subsequent)