mathematically correct