Miscellaneous material: contributed etc.
