  We discuss an agent-based approach to proof design and implementation, which
we call {\it Lemma Flow Diagram} (LFD). This approach is based on the multicut
rule with $shared$ cuts. This approach is modular and easy to use, read and
automate. Thus, we consider LFD an appealing alternative to `flow proof' which
is popular in mathematical education. Some examples are provided.
