Advances in Clinical Cognitive Science: Formal Modeling of P