Laziness, strictness, defaults