initial SafeAlgebra code