Commit to marriage with TLA+ pt.2

The second part of the conspect of the "Intoduction to TLA+" course by Leslie Lamport.