Annotated Codata vs DCC Principles Comparison