Title: If mathematics has disappeared