Fact has nvariables, nanonymous, variables, first test with no variable