Syntax
------
-Insert all the implicit `( )`s and <code>λ</code>s into the following abbreviated expressions.
+Insert all the implicit `( )`s and <code>λ</code>s into the following abbreviated expressions. Don't just insert them *freely*; rather, provide the official expression, without any notational shortcuts, that is syntactically identical to the form presented.
1. `x x (x x x) x`
2. `v w (\x y. v x)`