(truncated) unary binerization