Added lists to the proven libraries