Tính toán mềm mở rộng với niềm tin. Tính toán cứng mở rộng với toán học. Niềm tin không mở rộng. Toán học thì có.