Approximately equal to rigorous