Schur's_property loading ...