Algebraic_signature loading ...