Calkin_algebra loading ...