Proof analysis in non-classical logics
Non-classical monocytes have the support of the whole vascular tree