From the OP: I considered changing the names because I had the same concern, but in the end I figured that the current name was good enough for a toy example. I

From the OP: I considered changing the names because I had the same concern, but in the end I figured that the current name was good enough for a toy example. In hindsight, you're probably right I should have used other names (although your sneering tone is not really necessary).