All hypotheses are correct and passing
literally just committing comments, but necessary for merge
tests now updated to new constructors