MDK3 is a conceptual tool for proof. It is used to ...