Van Fraassen's reflection principle