Fixes Proposition/Premise naming inconsistancies.