some progress on trying to prove that swapi is correct
added more lemmas for proving that swapmn and makeSingleComb are correct