first step toward algebraic Doc