fix'ed constraints definition