comments on computation model and first lemma