Juanma Barranquero <100044.2131@compuserve.com> asks:
> His definition of "bigger," or that of "enemy"??

Well...yes, I suppose.

jms