addemonstrate turing completeness