Cílový jazyk: Hebrejsky
×× ×™ חושב שהבעיה ×˜×ž×•× ×” בעובדה שכללת (Umar1.h) בקובץ (Umar.h). ×–×” ×’×•×¨× ×œ×‘×¢×™×”, ×ž×©×•× ×©×”-(umar1.h) מגדיר ×ת הקטגוריה (Cmar1), ×©×”×•× ×¦××¦× ×©×œ ((Cmar) המוצהר ב-(umar.h). כעת, מכיוון שכללת ×ת (umar1.h) מעל ההצהרה של הקטגוריה ×”× ×•×‘×¢×ª (Cmar), המהדר ××™× ×• יודע מהו (Cmar) ×›×©×”×•× ×ž×’×™×¢ להצהרה של (Cmar1).
× ×¡×” להסיר ×ת הכלילה של (Umar1.h) מ-(umar.h), ו×× ×™ מוכן להתערב שהכל יסתדר.