• We have: 

  • Should be Empty: