copyedit s3
add library name discussion to s1