Gravar-mail: Modeling Diagnostic Reasoning: A Summary of Parsimonious Covering Theory