Formal foundations of patient case analysis by A.A. Maas