When something has been tested and found to be true it no longer needs to be assumed.