Library for The soldier in the mine