 \(\APUL\) Soundness and Completeness. \(\APUL\) is sound and complete with respect to the collection \(\sC_*\) of pointed plausibility action models. That is, for each \eqref{APUL}-formula F, we have that \(\APUL\vdash F\) if and only if \(\sC_*\models F\).