Lievuso: trueness to type