Melanie, an administrative assistant with ABC Pharmaceuticals, is planning to take a long cruise through the Caribbean, using all of her accumulated vacation time. She has worked at ABC for two years, and is entitled to three weeks of vacation at this time. All non-senior management employees at ABC are entitled to two weeks of vacation each year, but can use any unused vacation time from previous years.
If all of the preceding information is true, then which of the following must be true?