TRISTLEDERMOT. See CASTLEDERMOT.