add supplementary explanation of laziness