Exposed-circuit reformulation of Simon's conjecture

Let $K_n^d$ denote the complete $d$-clutter on vertex set $[n]$. A $d$-clutter is a family of $d$-element subsets, called circuits; an exposed circuit is a circuit whose associated face can be removed according to the exposed-circuit operation. Suppose that ${\mathcal C}$ is obtained from $K_n^d$ by a sequence of removing exposed circuits.

Exposed-circuit reformulation of Simon's conjecture. Then ${\mathcal C}$ contains an exposed circuit.

This is presented in the source as a reformulation of Simon's conjecture, connecting extendable shellability with sequences of exposed-circuit removals. The source gives no resolution status.