Legal formalism analysis