Do not die hard with TLA+ pt.1

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