Search Nf and Logic