[SubPro-IRT] On Predicabilty