Add abstract encoding