https://github.com/microsoft/PythonProgrammingPuzzles/blob/b663677c882bc5a3c324b2c61caa21a23cbf39be/solvers/enumerative/tython/rules.py#L1087 neccessary —> Necessary
