generated at
Turing reduction