Handle or- correctly, added :store lemma.