Added explanation about generalized strictness.