used to show that the result is really due ​