2 ms·
The parent's condition was relative, so it can't be statically true. Even if the number of Elons was zero, that would only make it unsatisfiable - not true.
by happytoexplain 1y ago
The parent's condition was relative, so it can't be statically true. Even if the number of Elons was zero, that would only make it unsatisfiable - not true.