For -> ForAll