Siora: trueness to type