Perera: trueness to type