Четыре студента учатся в библиотеке.