I don't advocate against formal languages, just against using tools that fail to truly comprehend them -- e.g. supporting high-level refactors. I guess I should

I don't advocate against formal languages, just against using tools that fail to truly comprehend them -- e.g. supporting high-level refactors. I guess I should have said "manipulate by hand" to be more clear.