Cross References
Lei Day, see §8-13.