Use microlens instead of lens

I think Lens is too huge, more than needed.