"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
CRISPR打开了我们甚至不知道存在的大门。