All of science is largely formalized common sense.