their library operated at that same place