al v , proc.