I took your advice, and you're right, it is very readable. Seeing it in its original context also helps me understand why a logician would want to invent it.