Since we are sticking to empty lines everywhere, remove counter-examples