anchor.diff:  
   -include_lib("proper/include/proper.hrl").
   
  -small_packet() ->
  -    %union([N-2 || N <- lists:seq(16, 512)]).
  -    union([N-2 || N <- lists:seq(16, 32)]).
  +big_packet_split() ->
  +    PacketSize = union([N-2 || N <- lists:seq(16, 512)]),
  +    PacketSizedBinary = ?LET(Len, PacketSize, binary(Len)),
  +    Packet = ?LET(Bin, PacketSizedBinary, <<(size(Bin)+2):16, Bin/binary>>),
  +    FewPackets = ?LET(N, union([1,2,3,5,7]), vector(N, Packet)),
   
  -packet() ->
  -    ?LET(Bin,
  -         ?LET(Len, small_packet(), binary(Len)),
  -         <<(size(Bin)+2):16, Bin/binary>>).
  +    PCutoffs = ?LET({Pkts, VectorSize},
  +                    {FewPackets, union([0,1,2,3,4,5])},
  +                    {Pkts, vector(VectorSize, integer(1, iolist_size(Pkts)))}),
   
  -few_packets() ->
  -    ?LET(N, union([1,2,3,5,7]), vector(N, packet())).
  +    ?LET({Pkts, Cutoff},
  +         PCutoffs,
  +         {Pkts, cutoff_bin(Cutoff, iolist_to_binary(Pkts))}).
   
  -big_packet() ->
  -    ?LET(Pkts, few_packets(), {Pkts, iolist_size(Pkts), iolist_to_binary(Pkts)}).
  -
  -big_packet_with_boundaries() ->
  -    ?LET({{Pkts, Size, BigPacket}, VectorSize},
  -         {big_packet(), union([0,1,2,3,4,5])},
  -         {Pkts, BigPacket, vector(VectorSize, integer(1, Size))}).
  -
  -big_packet_split() ->
  -    ?LET({Pkts, BigPacket, Cutoff},
  -         big_packet_with_boundaries(),
  -         {Pkts, cutoff_bin(Cutoff, BigPacket)}).
  -
  +%% @doc Given binary and cutoff array, do the actual cutoff.
   cutoff_bin(Cutoff, BigPacket) ->
       Parts = cutoff([0|Cutoff] ++ [iolist_size(BigPacket)]),
       {<<>>, X} = lists:foldl(
  
positive.code:             iolist_size(Orig) =:= iolist_size(Split)
              ).
  
  
  prop_tcp_recv() ->
      ?FORALL(Packet,
              packet(),
              begin
                  <<Size:16, Rest/binary>> = Packet,
                  size(Rest) =:= Size - 2
              end
             ).
  
  -endif.
  
negative.code: cutoff([A, B | Rest], Acc) ->
      cutoff([B|Rest], [B - A | Acc]).
  
  
  prop_boundaries() ->
      ?FORALL({Orig, Split},
  