The tension between formative and summative assessment