could you give the exact form here? (including matrix inversion lemma version)