Does Source * prove Source * wrong/right?