Hard-core and soft-core Widom–Rowlinson models on Cayley trees. (8th April 2019)