Comments: Lisa: proof