Orthogonality and modularity

That is, if Ms such that (b, . . . , am(b)) has locus V over E, then qftp (b/E) = qftp(5/2s).

(2) Our definition does not quite agree with the usual definition of canonical bases for types in simple theories.