Carnap's intensional isomorphism already provides a finer-grained criterion than L-equivalence by re...