doc
different methods for K oracle
minor
gco instead of first summand