From: klvnraju@gmail.com   
      
   B1 cannot be dominance frontier of itself.   
   See the definition:   
   A definition at n forces a X-function at m iff   
   n not  DOM(m) but n   DOM(p) for some p   preds(m)   
      
   here, in your case   
   n=m=B1   
   and n  DOM(m) (according to definition n should not belong to DOM(m))   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)