demonstrations:convex_lens_mirror_imaging