Finished chapter about propositions.