The 200 OK Axiom

        http(i, mq, mp, reqData, repData)
        /\ method(reqData) = GET
        /\ status(repData) = OK
        => represents(mp, i, content(repData));