Martin's Maximum, Saturated Ideals, and Non-Regular Ultrafilters. Part I | Synapse