4 ms·> China knows the rules and they broke them So did Turing.by dependenttypes 7y ago> China knows the rules and they broke them So did Turing.