Content covered: 

Decidability