let
index term r = array
Integer
(p_equal term) r