Ordered proof set but heard nothing