* Sanningsenligheten af ofvanståenderelation