Push is not sufficient
Conclusion