wait() bug corrected: now wait() is allowed inside forbid()...permit()