First working version of cap-push, spec-pull