30.4.4. Not-free TODO evaluate