Important bug

While studying the graph on my Stacks project t-shirt I discovered that
enumerations aren't interpreted correctly.