thin.sufficient-of-integrity-openness → thin.sufficient-of-integrity-openness