How to Write LEQ