sentences:  They again propose the definition of a "predicative function" as one that does not violate The Theory of Logical Types.Indeed the authors assert such violations are "incapable [to achieve]" and "impossible"