Preliminary version

Covariant derivation

Advertisements