Text this: A general theory of optimal algorithms /