Under C9, the holder must tell anyone being admitted on conditions what those conditions are before letting them in.
The graph holds this control, the 0 it maps to, and the evidence behind each claim, over MCP and REST.