extensibility for Pull Up and Push Down