     */
     
     func forall(s: FuncSet, p: FuncSetIndication) -> Bool {
+        print("s has elements: \(self.toString(s))")
 //        var iter: (Int) -> (Bool) = { _ in false }
 //        iter = {
 //            a in

    func toString(s: FuncSet) -> String {
        
        let array = Array(-self.bound ... self.bound).filter { self.contains(s, elem: $0) }
        let string =
        array.reduce("", combine: { result, item in
            result + ", \(item)"
        })
        return string
    }
    

            }
            else {
                return iter(a + 1)
            }
        }
        return iter((-1)*bound)
