on strictness_and_laziness
Merge branch 'strictness_and_laziness'