משפט 1: בפועל הם "מודולים" של Java-Classes, בדרך כלל תת-מעמדות קונקרטיים של הגדרות של כיתות מופשטות. משפט 2: בפועל הם "מודולים" של Java, בדרך כלל תת-מעמדות מופשטים של הגדרות מעשיות של המעמדות. שאלה: האם משפט 1 ומשפט 2 מבטאים את אותה המשמעות? כן או לא?
לא, לא.