Initiated work on the formation library