KISHURI: trueness to type