validDepartureDate[ // The departure date takes place at least 1 day later than the current date
         currentDate => date 
         _ : flight[departureDate => X], X >= succesor(currentDate)
         ]