(dey/dem): a choreo-doc