Finite Queues: Fixed Loop issues - I think P0 is WRONG?!