written class definitions and initial push