graphical
binary
!graph
reducible
!unique
normal
