Symbol: for_all_poss