implied constraint