First time here? Check out the FAQ!
answered 2020-08-08 01:12:05 +0100
Excess variables are interpreted as parameters, and only solutions that are valid for all values of the parameters are sought. This explains the empty list in the second case.