Naval • The Foundations Are Math and Logic • Listen on Fountain