@Shawn Thank you for explaining why the code works with uninterned symbols, which I was not familiar with.