Identify the sentence that expresses a logical deduction about a past state.

1. ক
   He must be at the library.
   
2. খ
   He must have been tired after the long journey.
   
3. গ
   He must go to the library now.
   
4. ঘ
   He must have to finish this work.