A&& > R[ a