1. 11
  1.  

  2. 1

    Hm, I wonder if Rudy Matela’s fitspec would give any benefits here? I’m curious if it would detect that the “one number in 3” property is not redundant?