Default encoder: Outer knows <b>1 < 4</b> Default encoder: Inner knows <b>1 < 4</b>
Default encoder: Inner knows <b>1 < 4</b>