\begin{array} { r r r l l } { { \cal B } _ { 0 } } & { : } & { f _ { 0 } - 1 } & { = } & { 0 \; , } \\ { \tilde { \cal B } _ { 1 } } & { : } & { G ( f _ { 0 } , f _ { 1 } ) } & { = } & { 0 } \\ \end{array} \artic-fox \snake-3 \beaver