to eventuate [ eventuated ; eventuated ]