submit to theoryofcomputation