Pull request

I accidentally skipped Def. 1.4 until Bem. 1.5. I will probably add them tomorrow.