corrections and math theory