Algon comments on A pencil is not a pencil is not a pencil

[Algon]

No, and that is a good idea.