Example: REA bound to 1CBR