srecord ITheoryOn<A>(ITheoryOn<A> t) implements ITheoryOn<A> {
  public bool check(A a) {
    ret !t.get(a);
  }
}