( G.4054 \ 3 ).