QuickCheck properties Mastery Check

Being able to identify and explain the QuickCheck properties construct used in the example, including what changes at a relevant boundary. Assuming successful output guarantees every edge case is safe. Memorizing the output without tracing the language feature. Changing only variable names while keeping an unrelated construct.