FUN-8: Model contract.