Content covered: 

Decidability part 2