(or
  (= (select (store a i 7) i) 8)

  (and
    (!= i j)
    (= (select a i) 12)
    (= (select (store a j 13) i) 13)
  )

  (and
    (!= i j)
    (= (select a i) 12)
    (!= (select (store a j 13) i) 12)
  )

  (and
    (!= (f i) (f j))
    (!= (select (store (store a i 10) j 20) i) 10))
)