Knowledge-based expert systems and a proof-of