Sully was complaining that this document had a bunch of half-finished sentences. So I finish the sentences!
Lib update
Merge branch 'master' into focalization
Add contraction to focused calculus, complete unfoc