In math, once you reach a contradiction, you realize that one of your
premises was false.  In religion, once you reach a contradiction, you
write books of theology to paper over the mess.  I guess we know
what category type-based alias analysis falls under.

Reply via email to