Title: Relative completeness in algebraic specifications