□◇(∃x)(Fx→¬Kx)