שינויים

/* חלק שלישי */
=חלק שלישי=
# לכל איש יש שם
# קיים איש עם שם יחיד
# אם קיים איש עם שם יחיד אז לא קיים איש ללא שם
# לכל איש עם שם יש שם נוסף (שונה מהראשון)
# קיימים שני אנשים שונים עם אותו שם
# לכל איש עם שם קיים איש אחר עם אותו שם