Quarrying Theory for Practice: The Case of Energy Efficiency