fun and rect cases
sketch for tsel case in wf-tp-dia