x ≜ 1;
f ≜ λy: (x ≜ 5; x + y);
✎ f(0);
✎ x;