By Their Fruits You Will Know Them: Comparing Formalizations of Law by the Decisions They Encode. - Julius Vernie; Matthias Grabmair (CoRR, 2026)