The simple theory of types prohibits self-predication, yet many properties plausibly apply to themse...