A semi-strong perfect digraph theorem. Issue 3 (1st September 2020)