provingground.translation.OptRestriction" class="extype">OptRestriction</a>[<span name="provingground.translation.OptRestriction.pairRestriction.X1" class="extype">X1</span>, <span name="provingground.translation.OptRestriction.pairRestriction.Y1" class="extype">Y1</span>]</span>, <span name="rest2">rest2: <a href="OptRestriction.html" name="provingground.translation.OptRestriction" id="provingground.translation.OptRestriction" class="extype">OptRestriction</a>[<span name="provingground.translation.OptRestr