Green circles represent open problems.

Dependency graph
: