▶LamportLAM portpronounce →