A high level model of the Solution.