Verdeca: trueness to type