assertions not corrections