Games are all around us—web games built into social media or messenger apps, mobile games, fast-paced console games, or exciting desktop games. We play for pleasure or leisure, and occasionally ...