 \alpha ( { \cal I ^ { \omega } } ( { \cal O } _ { x } ^ { \omega } ) ) = { \cal I ^ { \omega } } ( { \cal O } _ { x } ^ { \omega } ) , ~ ~ ~ \forall \alpha \in G _ { \omega }  \dog \octopus \guinea-pig