Johan Smet – Holms Deduction