HOL.SHAKES 8.10.18 (3)