Early version of Truth_terminal (SIGILS)