Logen må vara god frånteoretisk