Formalism and the Sources of International Law