"Предикатна смятане дава предикат смятане прави възможно