name="provingground.learning.TypedPostResponse.ReducedResponse" id="provingground.learning.TypedPostResponse.ReducedResponse" class="extype">ReducedResponse</a>[<span name="provingground.learning.TypedPostResponse.PairBot.P" class="extype">P</span>, <span name="provingground.learning.TypedPostResponse.reduce.Q" class="extype">Q</span>, <span name="provingground.learning.TypedPostResponse.reduce.R" class="extype">R</span>, <span name="provingground.learning.TypedPostResponse.PairBot.W" class="extype">W</span