Comes from a Proof like set

Comes from a Proof like set