Proof Db Try To Be Inside #001

Proof Db