More work on introduction, and made Z3 in the fancy font with double lines