Text this: Progress in applications of Boolean functions /