Text this: Algorithmic algebra /