En verklig gkntt t0