This second forcing is not necessary.