Combining Physics with proofπŸ˜‚πŸ˜‚πŸ˜‚