Extensions by C.J. Damm