Changing agents and ascribing beliefs in dynamic epistemic logic