b ' / , proc.