% defined the template message for ContractNotCorrectly