Decryption applies the inverse transformations in the reverse order, with the sub-tweakey step repeated after the last round.
The graph holds this control, the 0 it maps to, and the evidence behind each claim, over MCP and REST.