One of the most natural attempts at solution consists in regarding “not-p” as “the opposite of p”, where then “opposite” would be the indefinable relation. But it is easy to see that every such attempt to replace the ab-functions by descriptions must fail.