We must assert if math is still true!