fold away (x <= cst) earlier, allowing us to not have to