Detailed descriptions are given of observations of ball lightning. The possible sources of energy for ball lightning are discussed. These are self-sustaining chemical reactions of the direct oxidation of nitrogen, the nuclear reaction of atmospheric xenon, and the annihilation of matter with antimatter. No definite conclusions are reached.