Arrival (Explicit)

Binary Variable (Explicit)