WIP Turing proof
Finished defining the connection procedure and giving equations for the aggregate input of
any given neuron.