[ b ' 801]