This assertion is redundant