public interface ConjecturingWindowListener
extends ListSelectionListener, InvariantListModelListener