keyboard buffer: a buffer that keeps track of key strokes until the computer is ready to respond to them
universal quantifier: a logical quantifier of a proposition that asserts that the proposition is true for all members of a class of things