Statement related to https://news.ycombinator.com/item?id=42391443

Which means it looks like I lost my wager: https://news.ycombinator.com/item?id=42394537