Push expected constraints all the way down