Generalized assertions