added comments about the vecToCombWorks lemmas that are currently in the file