public bool IsReachedIn(WorldState worldState) { return(Preconditions.Aggregate(true, (soFar, precondition) => soFar && precondition.IsSatisfiedBy(worldState))); }