forward checking closer to working?