Add cap theorem.