anchor.diff:                  {Unvalidated, Valid, Errors},
                   InvalidPropsSpec).
   
  -=======
  ->>>>>>> 2.0
   %% Validate properties after they have all been individually validated, merged,
   %% and resolved to their final values. This allows for identifying invalid
   %% combinations of properties, such as `last_write_wins=true' and
  
positive.code:     Defaults2 = lists:keydelete(last_write_wins, 1, Defaults1),
      Defaults = lists:keydelete(dvv_enabled, 1, Defaults2),
      ?LET(
  <<<<<<< HEAD
          {Mult, DatatypeOrConsistent, WriteOnce, LastWriteWins, DvvEnabled},
          {
              gen_allow_mult(),
  
negative.code:                            false
                     end
                    )
              end).
  
  valid_dvv_lww({Good, Bad}) ->
  