HaveOccured -> HaveOccurred