dette har alltid vært feil - men nå kategorisk feil i RL-tiden på verifiserbare domener modeller er sannhetssøkende og samhandler til og med med en hard omverden via verktøybruk