The porter’s parting words have two meanings: One, to remember to tip the porter; the second that everyone may some day, sooner or later, see the porter at the gate again.