有真理0+1，真理也是对单特化的，是不是就不用抽0+0波提欧？