Text this: D-complete Single Axioms for the Equivalential Calculus with the rules D and R