static transformable record InverseTheory<A>(ITheoryOn<A> t) implements ITheoryOn<A> {
  public bool check(A a) {
    ret !t.check(a);
  }
}