a
a <x >y
a <!x >!y
!a
!a <x >y
!a <!x >!y
