Example: ACR bound to 1AGM