Abstracted away transition arrows