(* Given some mapping "rep" that turns a (Tree ??T) intoto Judgment,
* this asserts that we have sensible structural rules with respect
* to that mapping. Doing all of this "with respect to a mapping"
(* Given some mapping "rep" that turns a (Tree ??T) intoto Judgment,
* this asserts that we have sensible structural rules with respect
* to that mapping. Doing all of this "with respect to a mapping"