How to Write a LEQ