Naval • We Can’t Prove Most Theorems with Known Physics • Listen on Fountain