true logic store - logicwithscience @ ウィキ

point

[1] we need true logic or true evidence when we certificate true logic or true evidence
[2] we have to store true logic to certificate
[3] we have to store true evidence to certificate.

answerer777