source: [lemma=□] □ □ □
destination: [lemma=a] □ □ □
spec: While a variety of architectural configurations can be realized with these basic abstractions , the primary focus of the protocol and state machine specifications that follow is the synchronization of a GUA with a remote VUA as shown previously in Figure 2 . That helps users search , retrieve and edit contents on a high-speed digital network and remove the " by-hand " element of porting files from editing station to editing station .