fewer references to numbered hypothesis in [file_copy_ok]
fewer references to numbered hypothesis in [file_copy_ok]

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl