The plus construction expresses K ( R ) in terms of R directly .
It 's hard to prove properties of the result , including basic ones like functoriality .
The plus construction expresses K ( R ) in terms of R directly , but it 's hard to prove properties of the result , including basic ones like functoriality .