Takes 2 arguments
e1, e2
Evaluate e1, then evaluate and return e2. This ensures that a computation is strict in the value of e1.