C is computable from (a, b) regardless.