static transformable record BasicLogicRule<A>(A lhs, A rhs) {
  O trail;
    
  toString {
    ret lhs + " => " + rhs;
  }
}