How to write an LEQ