Models with tag logical-equivalence retrieved: 6