Dindarella: trueness to type