What? When and where has any part of linux been proven correct?