proof obligations