Two tokens sharing identical actual causal histories remain identical even if their types stand in p...