I added a very brief description of what happens in ApplyCD, essentially referencing Antilogus et al.
(#524)