That means there's no crisis in mathematics after all, right?