More Pro.prob specs and began writing pro-object-to-pro-object dependencies, bugfix