Explicitly formulate reflexivity.
Explicitly formulate existence for certain rclusters (coming from structures).