9.4.3b