thin.covert-blocking-correct-iff → thin.covert-blocking-correct-iff