more assertions/checking and a show funfunction for seeing what variables are in this factor and which have been assigned (and to what they've been assigned