palindrome must be case-sensitive
Mechanism: helper asserts weaker property (truthy)
