Mazur 13 port: neg_y_relation