fixed constraint execution