non-strict semantics