I werkligheten antages dennumera