more natural defn of ptd-right for pushout