Function seen_by 

pub fn seen_by(
    state: &Condition,
    action: &Trigger,
    trigger: &Trigger,
) -> Condition

The state an expectation with trigger checks its Given against when action happens in state: the action’s other changes already made.