happiness is the enemy of revolution, Lisbon.