Cover assertion