Theoretically implemented queue