A little redundant
"was able to trace a square of 0.5mm by 0.5mm"
is plainly redundant.
"was able to trace a 0.5 mm square"?
Sign me up when it gets better than Lasek! I've been leery of the complications that arise with current methods.