We do not know how to formulate string theory nor do we know its underlying principles. Surprisingly, this fact does not stop us from making progress.