add turing rules