graphical
binary
!graph
reducible
unique
normal
