Sort implications topologically
UI improvements
tests
Test access