petty(a)