Avoid a combinatorial loop on valid_o