A property theory that structurally blocks self-predication cannot serve as a general theory of prop...