I don’t see the issue. Real software problems are when the logical model is insufficient for the given problem.