micropin — definition & etymology