A description of $X_\mathrm{proet}$ and relation to conceptual completeness