@gd that's almost a tautology. It is correct under the given set of axioms. Then, ex falso quod libet somewhere in there and you have a prod full of bugs.
CleverLibre Social is an inclusive social instance for open discussion, learning, and community.
All cultures welcome.
Hate speech and harassment strictly forbidden.