Finished Forward Checking