Comment by cjj_swe

How is it inconsistent? The square brackets always mean "this was deduced" and the parens always indicate "this was passed in explicitly"