STYLE: use 'forAll(' NOT 'forAll (', as per coding guide
Attach a file by drag & drop or click to upload