Improved documentation for time.
Changed from Validation to Disjunction in time.