Sage demo, in class for Jan 20