Prop: palindrome_converse: well, that was a waste of my time