documenting `dec`