expressive logic by Pindar Van Arman | Verse