anchor.diff:                                context=[{"?",Fun,Input,IDom}
                                          |QCT#triq.context]}};
                   _ -> {success, Count+1}
  +            end;
  +
  +        {'prop:conjunction', []} ->
  +            {success, Count+1};
  +        {'prop:conjunction', [{_Tag, Property}|Properties]} ->
  +            case check_input(fun(none)->Property end,none,none,QCT#triq{}) of
  +                {success, _} ->
  +                    check_input(fun(none)->
  +                                        {'prop:conjunction', Properties} end,
  +                                none,none,QCT#triq{});
  +                Any ->
  +                    Any
               end;
   
           {'prop:implies', false, _, _, _} ->
  
positive.code: -export([check/1,
           check/2,
           check/3,
           equals/2,
           fails/1,
           module/1,
  
negative.code: %%--------------------------------------------------------------------
  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}.
  
  