logical equivalence was missing
index