Submit an infimum!