lanedance

also you should probably define what you inner product is (though its reasonably obvious)