Provable Lies of Ben Holmes -- #37