(0) Discussions about lemmipon