Content covered: 

Decidability part 3