Use \small to avoid overfull boxes
Add pseudocode for the TFIs.