Fill in the blank using a suitable modal: We ____ have locked the gate. Then the dog wouldn't have got out.