An algorithm is designed to check if a sequence of brackets is correctly matched (e.g., '' is valid, but '[)' is not) using a last-in, first-out data structure. Before the algorithm begins to examine the first character of the input sequence, what must be the state of this data structure for the algorithm to function correctly?