Primitivo: trueness to type