These _______ are actually the assertions and should be anything relevant to the beginning state of the system.

• A. set of facts
• B. set of rules
• C. termination criterion
• D. None of the above