[Logiweb] pyk warning: * imply * mistakenly unfit?

[Kasper H0st Frederiksen]

Hi

I have defined my own imply operator, based on the macro imply operatror 
from base page, as folows:



PREASSOCIATIVE * imply *

...

"[ math value define var x imply var y
      as
        var x macro imply var y
    end define end math ]"
\footnote{"[ math pyk define var x imply var y as "* imply *" end define 
end math ]"}
\tex{"[ math tex define var x imply var y as "#1.
                                                   \Rightarrow #2." end 
define end math ]"}


when i complie the document i get the warning:

Backend: finishing
Normal exit
* imply * mistakenly unfit?
Claim succeeded
tofu at bach-0 Quant >


I have tested my new imply construct and it seems to work fine. Does 
anyone know what the warning means?