TKVLAPA SHAVI: trueness to type