Yes, that's correct! If zup does zip (line 3), and anything that does zip implies zop is true (line 2), then zop is true. And if zop is true, then Zap does zip (line 1).