This package contains classes for simulating the counterexample.