BUR #7663 has been rejected.
create implication mirror_image -> mirror
Since mirror_image is reflected by mirror, I think it should be accompanied by a mirror. Otherwise, in the case of a statue reflected on some water or windows, we can just use reflection only.