default utilities added | theorem at end