Examples

• Simple Implicit Execution

• Different Axioms and Conjectures

• Checking Axioms with a Conjecture

• SInE Selection

• Competition Parallelism

• A Meta-System