change theorem descriptions