examples involving case r => ...