INFINITARY LOGIC HAS NO EXPRESSIVE EFFICIENCY OVER FINITARY LOGIC. - HARRISON-TRAINOR, MATTHEW; KRETSCHMER, MILES (Journal of Symbolic Logic, 2024)