Morrill, G. 1997. Proof of syntax of discontinuity. Proceedings of the Amsterdam Colloquium. (Dec. 1997), 235–240.