NF over Set over Set