Additional documentation of the semantics for backends.