def explain_ag(fsm, state, phi):
    """
    Explain why state of fsm satisfies AG phi.
    
    fsm -- the fsm;
    state -- a state of fsm satisfying AG phi;
    phi -- the set of states of fsm satifying phi.
    """
    pass
