PARTALA : trueness to type