Scientific formalism