Theory of Superexchange