truth terminal's defi cat (Schrodingr)