changes for constants. main theorem statements