A tiny logging fix
More logging
Addition and multiplication
Pool is a global resource.
Better addition.
Serafin rewrite
Global option
Multiplicative composition