[□=□] □
[word=□] □
[lemma=□] □
To implement a set of functionalities , integrate them under a common software platform in order to provide the basic primitives of an overlay computer , as well as build sample services on this overlay computer , thus providing a proof-of-concept for our theoretical results .