be :: o `AR__` a `AR_` o