Epistemic logic can express the principle that everything known is also believed (Kp → Bp) using dis...