

  (A,B) = (TRUE, TRUE)
<EOF>
