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