richard dawkin coin (RDC)