You are technically correct. Your initial remarks misled me, for the reasons given by Kaj Sotala below. But it's a good example, if I read it carefully and literally, so don't take that as a criticism.