Starting to make guards do the right thing with quantified variables.