linear equivalence works now