no bold for theorem name, and see the comments in source for the rest