(pl.) of Trencher-man