... inside a modal context from outside that context. It's a ... odd" in an alethic modal context (necessity). We know the ... allowed to quantify into the context "John believes..." from outside, ... (object reference outside the modal context).
@"Alex Divine" I actually never thought about the individual attack for each LR in a strict context like that; mainly was just trying to ID the premises and support. That actually helps a bit too.