Inner constraints

previous post