our first summit here: Cerro Jorquencal, 4971 m.