(a.) See Pockmarked.