∧ [4, 1, 2, ¯9, ¯5, 3, 6, 9, ¯2]