RSD Axiomatized3