Interacting with the B-Program’s Context

Todo

Write about how to interact with the context.