a^2 + bc = 1, ac + cd = 0, ab + bd = 0, bc + d^2 = 1