måste ovilkorligen vara logiskt rigtig.