Cleaned up palindrome proof
BOOM. Done with palindromic path. Also, merged some shit.
Cleaned up palindrome proof
Cleaned up pal proof