Making sense of string theory | Brian Greene