NOTARIZED LOGIC "AUTHENTICATED RATIONALE"