li * / a proc.