-include_lib("proper/include/proper.hrl").
-define(proper, true).