Lens laws proved for simple macros!