Add html counter-example