bik: more section 3.

header: added Spec
replyAlex: reply to Alex re restriction
library: synced to mendeley
bik: more section 3

header: added koszul object command