What to do about sagemath