Finished aborted sentence in lms lecture

The sentence explaining why the Barendregt convention is not violated in LMS did end unexpectedly.