Right on Top

Proof Db