Discover Lemma

This quest to discover Lemma was automagically added, as described at I'm gonna do a silly thing that adds hundreds of posts to the quest board... :slight_smile: