CLICK  TO DOWNLOAD.
This pattern shows obligation/necessity and can be used with any verb.
– tense is normally expressed in the final 하다(되다).
– negation is normally expressed in the main verb.
● 집에서 푹 쉬셔야 합니다.
● 해외여행을 하려면 여권이 있어야 해요.
● 내일 뭘 가져와야 해요?