why satisfactory explanation does not require correct prediction