Solved all_forallb.