fixed making f[a=1] be trueVacuum