PASS: wedge Gram matrix; closed third form identity; normalized decomposable Theta; explicit general coframe; J^2=-Id; N(partial_u,partial_x)=-epsilon/[2(1-epsilon*x)] partial_u
