First-order substructural logics So different , yet so familiar