Basic structure and initial logic