Affine_logic loading ...