A first version of (A7) derivation
* seconddir.mac: can derive (A7)