point
[1] when start points of logics & connection of logics are true, certification is true.
[2] we need stock of start point of certification of logics. save store of start point of 100 % true logic is necessary.
(1) 100 % true logic which is not start point should trusted after certification of connection.
[3] we should certificate all certification of connection of logics are true.
we should save tag logics with 3 types (1) all [[start points of true logics]] (2) all certification of connection of logics (3) 100% true conclusion of certification with true logics & true evidences
answerer777