p(_Y, g( _)).