(0) Discussions about bigmingo