FiniteSet plays well with evalaute=False