Morrill, G. Proof of Syntax of Discontinuity. Proceedings of the AC 1997, 235-240.