Finished destination decidability