Universal Property of Pushouts