Reflecting the semantics of reflected proof