We show that the category of log homotopy types is a full subcategory of a category of homotopy types with modulus.

I thank Federico Binda and Doosung Park for answering many questions about log motives. I thank Bruno Kahn and Shuji Saito for asking questions about an earlier version of this note. I apologise to Miyazaki who, due to poor communication, wrote up a version of Theorem 1.1 independently. I also thank the many non-specialists at various conference coffee breaks who have expressed interest in this work.