How would you compare legal formalism and legal positivism?