Terrano: trueness to type