Reading the Google design by contract work, I realized that we do not cover cross-parameter validation in method-level validation. //We want to make sure departure is after arrival. void book(Date arrival, Date departure); Any idea on ow best to address that?