Proven by design