Prove you can operate on a subcircle as if it were a role.