Poszukiwanie Nf and Logic