Horizontal data and transformations defined; proofs of properties in progress.