ack, more For -> ForAll