added inversion lemmas for source