Proof Status
Proven
Reconstructed
In Progress
Provisional
Floating