Therefore, types cannot inherit truth conditions from tokens without collapsing the type/token disti...