formalized demos/algorithms relationship