symbolically efficient — Deca