Sometimes You Just Need This for Mathematics