SJL-4
Implementing let check