Integrated II - Proving Theorems about Quadrilaterals