I wonder how one proves that the software is machine created.