Know thy algo: how to define it, prove it, tame it. Part 1