30.3.4. Not-free TODO evaluate