The General Universal Property of the Propositional Truncation