About the writing network tech, that just reimplement formal logic in network form right? I mean, it can do much better play the game using python, so what's the point? At least make it write an functional network completing LeNet to make it count. For now I just think its just somewhat an extra component for ReserveEngineerAnything