lb0 , U0 proc.