some insertions concerning algo 2