Added overview. Exhaustive and area tests have not been implemented in cases.