И года не прошло, а 3 часть уже здесь, читать строго всей семьей https://telegra.ph/Formalnaya-verifikaciya-opisanie-programmy-chast-1-02-18