assertion is unused