Text this: Experiments in logic and computer design /