boolesrings-frontpage This was test code for an initial version of what is now mathblogging-base and boolesrings-base