!graphical
normal
unique
!binary
graph
!reducible
