What are Mycielski Graphs? [Discrete Mathematics]