Push-Prop's Successors