4.43 with result
4.44 with result
with more primitive procedures
non deterministic evaluation