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