Initial work on implementing push-down rules.