Let’s build something rigorous.

Tell me about the system, the constraints, and the problem worth solving.