binary
!graph
graphical
reducible
unique
normal
