需要注意的是，當你使用顯示邏輯文件功能時，它將顯示'self'和'that'的擴展值。這使你可以看到將生成的實際等式，以便你（和表達式管理器）可以驗證變量是否存在。這可能看起來令人困惑，因為你可能會看到相當長的方程式。但是，如果你編輯問題，你將看到使用'self'和/或'that'的原始等式