Reminder-about-incomplete-orders-small