[IMP-users] PMI crosslinks and state ambiguity