Transitions in evolution: a formal analysis · Study