ο-contract present paradigms plus ability to filter lemma during testing