Changed format of derivation results. Not stable.