def cex(fsm, agents, phi):
    """
    Return the set of states of fsm satisfying <agents> X phi.
    
    fsm -- a MAS representing the system
    agents -- a list of agents names
    phi -- a BDD representing the set of states of fsm satisfying phi
    """
    return fsm.pre_strat(phi, agents)
