is «:dr a » » { R * * r «?