Is abstraction the key to computing? | Synapse