A logical statement is true if and only if it is palindromic.