Computing
is
Logic
In a certain sense
