added some assertion to verify the equation and numbers