好比有一百扇门而只关上一扇,那么盗贼怎么就会没有地方进去呢 
The development of formal systems has revolutionized our understanding of mathematics.
The very existence of libraries affords the best evidence that we may yet have hope for the future of man.