Formal neuron generator