Lyra Lambda Atlas/Etna

Regarding Allaerts specifications. Those are public information with

''physical assumptions'' . That is to say that experiments under the

same conditions should deliver the same results. If those are not

''the same'' than the claim is not true. The scientific ''truth

values'' are two:  either true or false (tertium non datur).

The ''argument'' of different test records avoids ''the same conditions''.

Are ''different records'' not available ?

Set theoretic paradoxes are caused by ''to large universe'' ( aka

''universal statements'') say : ''set of all sets''. So by using universal

quantifier ''all'' one need to restrict domain of his reference, Say ''all

carts that I have heard''.