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