I love it. But I think it cheats a tiny bit by getting a word that requires only characters from "false". It means you're demonstrating the same trick four times.

Maybe you could do a kind of proof:

1. This is how you get any character 2. This is how you call eval() 3. QED