Require Import Demo.

(*** Local ***)

Count.
Count.

Import Demo.

Count.

(*** Persistent ***)

Count Persistent.
Count Persistent.

Import Demo.

Count Persistent.