!graphical
unique
binary
!graph
!reducible
!normal
