This section is lacking the discussion of BlockContext.