An empty push