What is a meaning-preserving converse of “Some students are in the library”?

Simple Conversion: Definition, Categorical Rules and Reductio

• Some people in the library are students
• Some libraries are students
• Every student is a library
• The library is not a student