this for sure doesn't work, but we've removed all the errors with regard to affine automata system