> Let me clarify here: I don't recall that I ever uncovered a "bug" in
> the source typing rules that I initially set up. By "bug", I mean
> something that wasn't trivially fixed --- something that I thought
> should be sound that for some deep reason, wasn't.
"Strong proofs are for weak minds!"
- B