$NUTS & $LIGMA | TinySPL