On Sat, Sep 15, 2012 at 11:53 PM, Mike S. <maikxlx@gmail.com> wrote:
ha xkre <=> jana smeka xkr`e "if E exists in world A then E is a black".
It's probably should have been written this way:
ha xkre <=> jana ha sme ha xkr`e
... because first, there's no real need to add -kV to smV as long as hV is available, and second, it's probably better to have "ha xkr`e" just to leave open the possibility that E is not black in worlds other than A, otherwise E would have to be essentially black.