Sentence 1: When we use an alternating turing machine , we have the ATIME resource .
Sentence 2: If we use an alternating Turing machine , we have the resource ATIME .
Question: Do Sentence 1 and Sentence 2 express the same meaning? Yes or No?