Preconditions
Traversables