la3-7-equivalence