.  Once we have established necessary and sufficient conditions for a task to have a protocol in a particular model, it is natural to ask whether it is _decidable_ whether a given task satisfies those conditions. We will see 