Trying to understand how solving TruthQuery works