Further work on evolution logic.