Nie do końca w paczce i nie do końca do mnie, ale ostatecznie, po kilku latach oczekiwania
, w moich rękach. Będzie wymagała drobnej renowacji i być może kombinacji z wieloklinem:


, w moich rękach. Będzie wymagała drobnej renowacji i być może kombinacji z wieloklinem:

∃x (Fx & (y)(Fy→y=x & Gx))