Comment by user2342

They may work as expected (and probably will), but they are not covered by the proof.