迎战莱尔的逻辑多面体。