Working out consequences of earlier work