language ESSENCE 1.3.0 letting v be 5 letting q be 3 letting lam be 2 letting d be 4