a R:d . Z2R:^