Maximizing a Monotone Submodular Function Subject to a Matroid Constraint | Synapse