newly completed bits of ex40b and ex40