Prop: Solved varieties_of_beauty.
Prop: Solved b_timesm.
Prop: Solved gorgeous_tree.
Prop: Solved gorgeous_plus13.
Prop: Solved gorgeous_sum.
Prop: Solved beautiful__gorgeous.
Prop: Solved g_times2.
Prop: Solved double_even.
Prop: Solved ev__evenb.
Prop: Solved l_fails.
Prop: Solved ev_sum.
Prop: Rewrote the proof of gorgeous_sum a bit.
Prop: Solved ev_minus2_n.
Prop: Solved palindromes.
Prop: Solved R_provability.
Prop: Solved combine_odd_even.
Prop: Solved true_upto_n__true_everywhere.
Prop: Added and solved palindrome_converse.
Prop: Added and partially solved subsequence.