10/22/2013 and some subtle corrections with \Der and \K