Schaefer's_dichotomy_theorem loading ...