Push Ifs Up and Fors Down