elim BoolArray