Lemmod1 presentations