Identifies spectator ions that remain dissociated in solution and generates the net ionic equation representing the actual chemical bond formation.