不首先定义什么是matter，就无法确定什么是no matter，
也就是说无法定义void。void没定义就不知道什么是“not void”，
也就是无法定义matter。