anchor.diff:  %%--------------------------------------------------------------------
   fails(Prop) ->
       {'prop:fails', Prop}.
  +
  +%%--------------------------------------------------------------------
  +%% @doc
  +%% A Property which succeeds when all of the properties passed in are
  +%% true.  Note, this method short-circuits on the first failure in the
  +%% list and subsequent properties are not tested.
  +%%
  +%% @spec conjunction( list({atom(), property()}) ) -> property()
  +%% @end
  +%%--------------------------------------------------------------------
  +conjunction(Properties) ->
  +    {'prop:conjunction', Properties}.
  +
   numtests(Num,Prop) ->
       {'prop:numtests', Num, Prop}.
   
  
positive.code:                               context=[{"?",Fun,Input,IDom}
                                         |QCT#triq.context]}};
                  _ -> {success, Count+1}
              end;
  
          {'prop:implies', false, _, _, _} ->
  
negative.code: -export([check/1,
           check/2,
           check/3,
           conjunction/1,
           equals/2,
           fails/1,
           module/1,
  