Comment by tomjakubowski

When we've done both we will have fully automated Erdős.