Vladimir_Nesov comments on How not to move the goalposts