Necessary and Sufficient Condition for Convergence in Probability to Invariant Posterior Distributions | Synapse