Prosem: a bit on history