sinterface ITheoryOn<A> {
  bool check(A a);
}