let declare arr _eqname =
         Formula.Predicate[Array arr;Array arr]