more HaveOccured -> HaveOccurred