See note on `Sotion lib. success.' below.