perhaps something to discuss in office hours