bugfix
proofs are bugs
changing subodule locations