Logic assignment tutors in Phase 7