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