190601 Hole 4 by Coq Freisenberger