Looks like paradigmtheorem hasn't started blogging yet!