CRDC 1.0

Formal Version 1.0.