$S$-matrix unitarity and renormalizability in higher-derivative theories. (23rd August 2019)