Review of LFTs, LMIs, and mu | Synapse