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