Illustration of using Reduce to check a constrains after pattern matching!
Illustration of using Reduce to check a constrains after pattern matching!

arthurcnorman/general,arthurcnorman/general,arthurcnorman/general