Conflating Howard's propositional result with predicate-level extensions obscures the non-trivial ph...