Proof Based Problems Problems