Formalism property: Correct a mistake + Add CD, U=>CA demonstration