Mathematical truths about abstract notions of string theory fit in a line.