Mathematical Foundations of the Lunar Logistics System | Synapse