Remove some 'provably's and 'propositionally's