Rather than optimizing for a rigorous solution.