Which of the following statement regarding semaphore is untrue?

(A) A binary semaphore may be initialized to any nonnegative integer value.
(B) Mutex must be unlocked by the same process that locks it.
(C) Both semWait and semSignal are atomic.
(D) A semaphore that does not specify the order in which processes are removed from the waiting queue is a weak semaphore.
(E) None of the above.