WIP:minimal derivation added.