((#(1 0 0.8) #(0 0 1) #(0 0 1))
(#(1 0 -0.8) #(0 0 -1) #(0 1 0)))