Uses Formal Logic to Grow and Reason About Knowledge -- By Nova Spivack, CEO of www.mindcorp.ai and www.novaspivack.com