Hi Grzegorz, >Freek, "ex x st P x & Q x" should be on the list of >possibilities insead of 1. Oops! You're right. My mistake. I'm glad you understood what I meant. Freek