validArrivalDate[ // The arrival date is a valid date
          t.b.d.
         ]