Na takie pytania akurat bardzo precyzyjnie odpowiada mi Excel - po złożeniu powinno wyjść w okolicach 11 tyś. ze wszystkim włączajac w to takie detale jak nowe linki, zegary i czujniki itd. W razie czego służę wyliczeniami.
∃x (Fx & (y)(Fy→y=x & Gx))
