constraints almost done