Logic for lawyers and medical examiners