(pl.) of Tripos