if the task is rejected, you probably should still release the *available* Semaphore