Von's Formal Introduction