A few more set facts
Facts about fresh variables