note thmsdrew <p>Hmm yeah, I wasn't thinking. This is a weird case, I'll have to think more about it.</p> 1000668 1002523