Proof of concept for lazy evaluation