Zaslat SMS: The metric theory of Banach manifolds