משפט 1: יש עוד שני מפתחות שונים בשתי השפות האלה: מפתח צ'כי מחליף את המפתח צ'כי ומפתח סלובקי מחליף את המפתח הסלובקי. משפט 2: יש עוד שני מפתחות שונים בשתי השפות האלה: מפתח צ'כי מחליף מפתח צ'כי ומפתח סלובקי מחליף מפתח סלובקי. שאלה: האם משפט 1 ומשפט 2 מבטאים את אותה המשמעות? כן או לא?
כן, כן.