Ben and Mike are in the library.对Ben and Mike提问,是Who are in