Prefixes starting with <Prove>
<Proven>
.
<Prove> (other)
.