They do not have to be true, they are just explicit.
It is like building a mathematical theory. If A, B and C and not D, then E, F and G.... Does not say that A, B, C and D values are known, only if they are known and as stated, you can make the inference. It does not say anything about a world when they are not known.
Also, you can parametrize. Check the Grabby Aliens, first the videos and then the paper, you can see exactly what I mean:
https://grabbyaliens.com/
juraj / Juraj
npub1m2…lr8p9
2023-06-13 21:45:52
in reply to nevent1q…k32c
Author Public Key
npub1m2mvvpjugwdehtaskrcl7ksvdqnnhnjur9v6g9v266nss504q7mqvlr8p9Published at
2023-06-13 21:45:52Event JSON
{
"id": "1d975d2c252308a091c8492dd4ae74c230509f82971092af4eea2c0892da69b4",
"pubkey": "dab6c6065c439b9bafb0b0f1ff5a0c68273bce5c1959a4158ad6a70851f507b6",
"created_at": 1686685552,
"kind": 1,
"tags": [
[
"e",
"66f7bec74f4723f72a8d3bd2b44feaab9e2461abcd4a6869a42a5d2dfddcbc24",
"",
"root"
],
[
"e",
"abb384825005716ac5e60766c47dd8c820be4619249f32bea4367cfef5f27348",
"",
"reply"
],
[
"p",
"fa984bd7dbb282f07e16e7ae87b26a2a7b9b90b7246a44771f0cf5ae58018f52"
],
[
"p",
"dab6c6065c439b9bafb0b0f1ff5a0c68273bce5c1959a4158ad6a70851f507b6"
],
[
"p",
"bfbd26dc75540c5ee8be08f0ffaf2191a90c63e37ce066412d25ccfa5104e730"
]
],
"content": "They do not have to be true, they are just explicit.\n\nIt is like building a mathematical theory. If A, B and C and not D, then E, F and G.... Does not say that A, B, C and D values are known, only if they are known and as stated, you can make the inference. It does not say anything about a world when they are not known.\n\nAlso, you can parametrize. Check the Grabby Aliens, first the videos and then the paper, you can see exactly what I mean:\n\nhttps://grabbyaliens.com/",
"sig": "ea97ade7ca02fde9c58071dde6075f7d50232fcd9657c80d34513f10d8656ca2bf4716a8aa8d835e4074930ea41798e5e07da4b59e21ba333a839f2f104b2978"
}