Certification = logical tie

we can think each certification = logical tie

⑴ certification AB

theory A = true => theory B = true

⑵ certification BC

theory B = true => theory C = true

⑶ certification create bridge between theory A & B & C

   => certification = tie, within each true theory