From Declaration to Demonstration