b . inf 772.