Switching_algebra loading ...