Mark_Friedenbach comments on AI-related honours projects?