Using generalized strictness.