simplify by removing the stuff about dependent squashing