formalist theory of contract law