Acceptance: correct implementation for the waitFor