Second-order cover inequalities