________ is a predicate that we expect the database to always satisfy

• A. Assertion
• B. Reason
• C. Mandate
• D. Verify