Up: [[한정명제]]