finished constraint sumamry