Finished forward checking