HaveOccured is dead. Long live HaveOccurred