x \in M^\bot \Leftrightarrow <x|a>=0, <x|b>=0, x=(x_1,x_2,x_3,x_4)