def METHOD_NAME(m):
    '''J(lambda) = inner(lambda, lambda)*dx
    considered as a pure function of m
    for the purposes of Taylor verification'''
    u = main(m)
    u_adj = adj(u, m)
    return assemble(J(u_adj, m))