(* Check Reset Section *)

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

Reset A.