"Numerical software" . "Logical consequence" . "Network theory" .