Mathematics Discovered