Refutation that Leps is bad

 

v20240901