Cuneute: trueness to type