The Carbon Math Nobody Wanted to Audit — type0 | type0