graphical
binary
!graph
!reducible
unique
normal
