Finished constraint adding