Documenting RDEC Claims