I tried to reproduce a framed example from the context-reference: