A set of tests to prove the basic model relations logic for confidential objects.