constraints compare