(* Check Reset Section *)

Section A.
Definition B := Prop.
End A.

Reset A.