Citana: trueness to type